1.
Lectures on the Curry-Howard Isomorphism
by Urzyczyn, Pawel, Sørensen, ...
ISBN: 9780444520777
List Price: $145.00
2.
Lectures on the Curry-Howard Isomorphism (Volume 149)
by Morten Heine Sørensen
ISBN: 9780444545961
List Price: $170.00